<?php

if($_SESSION["userId"] != null){
	$_SESSION["userId"]=null;
	$_SESSION["user_name"]=null;
}

session_start();
session_destroy();
header("location:index.php");

?>